last{-}change\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$outl(change{-}to\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$))